how to use cardinality function of postgresql